CarTel: A Distributed Mobile Sensor Computing System Bret Hull, Vladimir Bychkovsky, Yang Zhang, Kevin Chen, Michel Goraczko, Allen Miu, Eugene Shih, Hari Balakrishnan and Samuel Madden MIT Computer Science and Artificia

Source URL: nms.lcs.mit.edu

SoEs: Attachable Augmented Haptic on Gaming Controller for Immersive Interaction Yang-Sheng Chen National Taiwan University Taipei, 10617, TW

Source URL: aui16.files.wordpress.com

Towards Energy-Efficient Streaming System for Mobile Hotspots Ming-Hung Chen, Chun-Yu Yang, Chun-Yun Chang, Ming-Yuan Hsu, Ke-Han Lee, Cheng-Fu Chou National Taiwan University

Source URL: conferences.sigcomm.org

Computing Cylindrical Algebraic Decomposition via Triangular Decomposition Changbo Chen, Marc Moreno Maza, Bican Xia and Lu Yang University of Western Ontario, Canada Massachusetts Institute of Technology, USA

Source URL: issac2009.kias.re.kr

An Implicit Optimization Approach for Survivable Network Design Richard Li-Yang Chen Amy Cohn

Source URL: www.sandia.gov

Azure’s VM Allocator Internals Marcus Fontoura Microsoft Thomas Moscibroda, Yang Chen, et al. Microsoft Research Mark Russinovich, Jim Johnson, Nar Ganapathy,

Source URL: fontoura.org

1 N-k-ε Survivable Power System Design Richard Li-Yang Chen, Amy Cohn, Neng Fan, Ali Pinar Abstract—We consider the problem of designing (or augmenting) an electric power system such that it satisfies the

Source URL: www.sandia.gov

RESEARCH ARTICLE Neuropsychiatric Genetics BDNF Val66Met Polymorphism Alters Sympathovagal Balance in Healthy Subjects Albert C. Yang,1,2,3* Tai-Jui Chen,4 Shih-Jen Tsai,3,5 Chen-Jee Hong,3,5,6 Chung-Hsun Kuo,6

Source URL: www.psynetresearch.org

• Biology
• Medicine
• Medical signs
• Cell signaling
• Developmental neuroscience
• Rs6265
• Neurotrophic factors
• Heart rate variability
• Brain-derived neurotrophic factor
• Vagal tone
• Anxiety
• Neurotrophin

Automatic Abstraction Refinement for Generalized Symbolic Trajectory Evaluation ∗ Department Yan Chen∗, Yujing He∗ , Fei Xie∗ and Jin Yang† of Computer Science, Portland State University, Portland, OR 97207. {c

Source URL: www.mpi-sws.org

• Graph theory
• Mathematics
• Model checking
• Theoretical computer science
• Graph
• Binary decision diagram
• Tree
• Circuit
• Symbolic trajectory evaluation
• Signal-flow graph
• Topology

Randomness in Number Theory: The Moebius Case IGL Project ReportYiwang Chen, Daniel Hirsbrunner, Dylan Yang, Tong Zhang M.Tip Phaovibul (Team Leader) A.J. Hildebrand (Faculty Mentor)

Source URL: www.math.illinois.edu

• Mathematical analysis
• Mathematics
• Mathematical series
• Complex analysis
• Arithmetic function
• Riemann zeta function
• Dirichlet character
• Mellin transform
• Divergent series
• Series
• Pi
• Power series